[next] [prev] [prev-tail] [tail] [up]

2.2.15 Integrals 1401 to 1500

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 1401

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

33 33 44 25 24 40 29 34 25

N.S.

1 1.00 1.33 0.76 0.73 1.21 0.88 1.03 0.76

time (sec)

N/A 0.005 0.076 0.555 0.479 2.498 0.062 1.470 0.026

Problem 1402

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 74 44 47 76 0 90 49

N.S.

1 1.00 1.42 0.85 0.90 1.46 0.00 1.73 0.94

time (sec)

N/A 0.020 0.177 0.688 0.480 2.192 0.000 1.368 0.121

Problem 1403

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

55 55 68 53 53 74 0 125 53

N.S.

1 1.00 1.24 0.96 0.96 1.35 0.00 2.27 0.96

time (sec)

N/A 0.016 0.271 0.622 0.485 2.125 0.000 1.227 1.919

Problem 1404

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

77 77 73 74 76 89 0 183 77

N.S.

1 1.00 0.95 0.96 0.99 1.16 0.00 2.38 1.00

time (sec)

N/A 0.026 0.372 0.701 0.488 4.036 0.000 1.067 1.861

Problem 1405

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 78 95 104 104 0 232 106

N.S.

1 1.00 0.79 0.96 1.05 1.05 0.00 2.34 1.07

time (sec)

N/A 0.037 0.517 0.665 0.501 3.673 0.000 1.212 0.112

Problem 1406

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

121 121 83 116 137 118 0 191 146

N.S.

1 1.00 0.69 0.96 1.13 0.98 0.00 1.58 1.21

time (sec)

N/A 0.049 0.681 0.708 0.495 2.867 0.000 1.049 0.213

Problem 1407

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

143 143 88 137 175 133 0 322 160

N.S.

1 1.00 0.62 0.96 1.22 0.93 0.00 2.25 1.12

time (sec)

N/A 0.068 0.898 0.751 0.497 3.501 0.000 1.769 1.925

Problem 1408

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

89 89 66 79 78 78 0 54 110

N.S.

1 1.00 0.74 0.89 0.88 0.88 0.00 0.61 1.24

time (sec)

N/A 0.028 0.270 0.642 0.496 3.874 0.000 1.091 0.057

Problem 1409

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 61 65 64 73 0 47 105

N.S.

1 1.00 0.91 0.97 0.96 1.09 0.00 0.70 1.57

time (sec)

N/A 0.018 0.231 0.752 0.490 3.175 0.000 1.451 1.759

Problem 1410

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 56 51 50 68 0 44 100

N.S.

1 1.00 0.93 0.85 0.83 1.13 0.00 0.73 1.67

time (sec)

N/A 0.015 0.195 0.657 0.483 2.520 0.000 0.889 1.750

Problem 1411

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 51 37 36 62 99 39 88

N.S.

1 1.00 1.28 0.92 0.90 1.55 2.48 0.98 2.20

time (sec)

N/A 0.008 0.169 0.628 0.498 3.441 5.873 1.439 1.776

Problem 1412

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 25 24 16 27 16 15

N.S.

1 1.00 1.00 1.25 1.20 0.80 1.35 0.80 0.75

time (sec)

N/A 0.003 0.113 0.593 0.267 3.310 5.763 1.167 0.040

Problem 1413

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 66 77 58 83 0 84 106

N.S.

1 1.00 1.25 1.45 1.09 1.57 0.00 1.58 2.00

time (sec)

N/A 0.018 0.273 0.719 0.487 3.760 0.000 1.169 1.809

Problem 1414

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 65 86 86 104 0 168 157

N.S.

1 1.00 0.79 1.05 1.05 1.27 0.00 2.05 1.91

time (sec)

N/A 0.026 0.454 0.752 0.488 4.022 0.000 0.775 0.123

Problem 1415

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 83 107 128 119 0 199 181

N.S.

1 1.00 0.80 1.03 1.23 1.14 0.00 1.91 1.74

time (sec)

N/A 0.038 0.484 0.694 0.486 3.045 0.000 1.670 1.784

Problem 1416

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 88 128 184 134 0 248 210

N.S.

1 1.00 0.70 1.02 1.46 1.06 0.00 1.97 1.67

time (sec)

N/A 0.049 0.643 0.792 0.498 2.572 0.000 1.272 1.793

Problem 1417

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

148 148 93 149 254 149 0 234 244

N.S.

1 1.00 0.63 1.01 1.72 1.01 0.00 1.58 1.65

time (sec)

N/A 0.064 0.856 0.641 0.495 4.157 0.000 1.063 0.144

Problem 1418

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 76 119 133 98 0 60 222

N.S.

1 1.00 0.66 1.03 1.15 0.84 0.00 0.52 1.91

time (sec)

N/A 0.040 0.422 0.809 0.503 3.208 0.000 3.312 1.708

Problem 1419

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 71 105 119 93 0 55 217

N.S.

1 1.00 0.76 1.12 1.27 0.99 0.00 0.59 2.31

time (sec)

N/A 0.029 0.376 0.676 0.483 2.799 0.000 2.305 0.047

Problem 1420

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 66 91 105 87 0 52 212

N.S.

1 1.00 0.76 1.05 1.21 1.00 0.00 0.60 2.44

time (sec)

N/A 0.025 0.330 0.778 0.514 3.298 0.000 1.888 1.722

Problem 1421

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

67 67 61 77 91 81 0 48 200

N.S.

1 1.00 0.91 1.15 1.36 1.21 0.00 0.72 2.99

time (sec)

N/A 0.017 0.298 0.658 0.481 3.433 0.000 3.910 1.702

Problem 1422

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

48 48 30 51 50 40 0 25 185

N.S.

1 1.00 0.62 1.06 1.04 0.83 0.00 0.52 3.85

time (sec)

N/A 0.012 0.235 0.740 0.267 3.570 0.000 3.300 1.697

Problem 1423

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 25 37 36 35 122 23 161

N.S.

1 1.00 0.68 1.00 0.97 0.95 3.30 0.62 4.35

time (sec)

N/A 0.007 0.193 0.572 0.272 3.003 23.216 1.625 0.043

Problem 1424

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 25 37 36 35 90 21 161

N.S.

1 1.00 0.68 1.00 0.97 0.95 2.43 0.57 4.35

time (sec)

N/A 0.005 0.166 0.625 0.281 2.978 16.945 1.529 1.691

Problem 1425

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 63 122 81 103 0 93 218

N.S.

1 1.00 0.86 1.67 1.11 1.41 0.00 1.27 2.99

time (sec)

N/A 0.029 0.658 0.608 0.486 2.292 0.000 1.499 0.136

Problem 1426

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

109 109 101 119 109 134 0 233 270

N.S.

1 1.00 0.93 1.09 1.00 1.23 0.00 2.14 2.48

time (sec)

N/A 0.038 0.648 0.731 0.495 2.847 0.000 1.934 1.883

Problem 1427

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 93 140 151 149 0 208 301

N.S.

1 1.00 0.71 1.07 1.15 1.14 0.00 1.59 2.30

time (sec)

N/A 0.049 0.632 0.647 0.484 2.870 0.000 1.502 1.829

Problem 1428

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

153 153 98 161 207 164 0 257 330

N.S.

1 1.00 0.64 1.05 1.35 1.07 0.00 1.68 2.16

time (sec)

N/A 0.063 0.812 0.741 0.488 2.898 0.000 1.034 1.862

Problem 1429

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 99 106 107 178 379 580 100

N.S.

1 1.00 0.85 0.91 0.92 1.53 3.27 5.00 0.86

time (sec)

N/A 0.039 0.079 0.585 0.274 2.289 7.831 1.223 0.091

Problem 1430

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

116 116 96 106 107 131 131 327 100

N.S.

1 1.00 0.83 0.91 0.92 1.13 1.13 2.82 0.86

time (sec)

N/A 0.033 0.069 0.640 0.275 3.009 1.602 1.235 1.744

Problem 1431

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

114 114 96 105 107 92 374 138 100

N.S.

1 1.00 0.84 0.92 0.94 0.81 3.28 1.21 0.88

time (sec)

N/A 0.034 0.065 0.565 0.270 3.081 18.529 1.214 0.068

Problem 1432

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 97 120 113 100 112 135 111

N.S.

1 1.00 0.87 1.07 1.01 0.89 1.00 1.21 0.99

time (sec)

N/A 0.033 0.073 0.618 0.281 3.131 8.809 1.652 0.075

Problem 1433

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 94 108 109 109 449 126 113

N.S.

1 1.00 0.84 0.96 0.97 0.97 4.01 1.12 1.01

time (sec)

N/A 0.033 0.078 0.598 0.271 4.213 0.464 1.185 1.766

Problem 1434

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 95 102 110 120 653 122 100

N.S.

1 1.00 0.85 0.91 0.98 1.07 5.83 1.09 0.89

time (sec)

N/A 0.033 0.072 0.664 0.288 2.742 0.713 1.367 1.745

Problem 1435

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

218 218 214 234 248 298 308 670 197

N.S.

1 1.00 0.98 1.07 1.14 1.37 1.41 3.07 0.90

time (sec)

N/A 0.089 0.147 0.638 0.275 2.778 3.479 1.327 1.791

Problem 1436

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

216 216 213 233 248 227 772 295 197

N.S.

1 1.00 0.99 1.08 1.15 1.05 3.57 1.37 0.91

time (sec)

N/A 0.063 0.137 0.683 0.279 3.761 39.485 1.177 1.711

Problem 1437

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 214 308 254 235 253 331 237

N.S.

1 1.00 1.00 1.44 1.19 1.10 1.18 1.55 1.11

time (sec)

N/A 0.063 0.148 0.615 0.284 3.899 19.525 0.954 0.067

Problem 1438

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 214 283 252 246 231 319 249

N.S.

1 1.00 1.00 1.32 1.18 1.15 1.08 1.49 1.16

time (sec)

N/A 0.064 0.164 0.712 0.273 3.060 25.038 1.184 1.726

Problem 1439

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 212 259 253 254 1426 319 251

N.S.

1 1.00 0.99 1.21 1.18 1.19 6.66 1.49 1.17

time (sec)

N/A 0.062 0.153 0.638 0.283 3.115 0.760 1.483 1.793

Problem 1440

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 214 243 253 265 1855 316 258

N.S.

1 1.00 1.00 1.14 1.18 1.24 8.67 1.48 1.21

time (sec)

N/A 0.063 0.178 0.722 0.290 3.753 1.107 1.588 1.821

Problem 1441

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

348 348 373 561 446 422 1284 504 324

N.S.

1 1.00 1.07 1.61 1.28 1.21 3.69 1.45 0.93

time (sec)

N/A 0.149 0.257 0.599 0.278 2.932 70.768 2.032 0.138

Problem 1442

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

344 344 373 583 452 430 461 615 394

N.S.

1 1.00 1.08 1.69 1.31 1.25 1.34 1.79 1.15

time (sec)

N/A 0.109 0.276 0.705 0.290 2.602 36.172 1.614 1.839

Problem 1443

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

346 346 375 544 450 441 406 599 434

N.S.

1 1.00 1.08 1.57 1.30 1.27 1.17 1.73 1.25

time (sec)

N/A 0.105 0.268 0.651 0.281 2.627 43.945 1.680 1.832

Problem 1444

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

346 346 373 506 452 450 377 599 455

N.S.

1 1.00 1.08 1.46 1.31 1.30 1.09 1.73 1.32

time (sec)

N/A 0.103 0.279 0.706 0.299 2.893 68.865 2.740 1.843

Problem 1445

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

342 342 372 476 451 460 3218 597 452

N.S.

1 1.00 1.09 1.39 1.32 1.35 9.41 1.75 1.32

time (sec)

N/A 0.107 0.360 0.671 0.279 2.944 1.184 1.001 1.847

Problem 1446

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

346 346 375 453 452 470 3952 595 454

N.S.

1 1.00 1.08 1.31 1.31 1.36 11.42 1.72 1.31

time (sec)

N/A 0.102 0.339 0.818 0.284 2.922 1.691 1.618 1.890

Problem 1447

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

237 237 284 392 0 7410 1299 655 2500

N.S.

1 1.00 1.20 1.65 0.00 31.27 5.48 2.76 10.55

time (sec)

N/A 0.634 0.748 0.756 0.000 12.790 136.642 2.202 3.127

Problem 1448

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 259 287 0 4415 826 528 2500

N.S.

1 1.00 1.28 1.42 0.00 21.86 4.09 2.61 12.38

time (sec)

N/A 0.550 0.579 0.798 0.000 53.015 71.767 2.018 2.715

Problem 1449

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

179 179 211 190 0 1559 396 303 2500

N.S.

1 1.00 1.18 1.06 0.00 8.71 2.21 1.69 13.97

time (sec)

N/A 0.423 0.346 0.685 0.000 4.719 12.580 1.599 0.436

Problem 1450

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

152 152 188 148 0 2357 0 177 2065

N.S.

1 1.00 1.24 0.97 0.00 15.51 0.00 1.16 13.59

time (sec)

N/A 0.116 0.383 0.724 0.000 4.416 0.000 1.497 3.306

Problem 1451

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

197 197 255 229 0 6232 0 920 2500

N.S.

1 1.00 1.29 1.16 0.00 31.63 0.00 4.67 12.69

time (sec)

N/A 0.275 0.641 0.641 0.000 15.061 0.000 1.885 5.669

Problem 1452

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

243 243 300 347 0 10841 0 0 2500

N.S.

1 1.00 1.23 1.43 0.00 44.61 0.00 0.00 10.29

time (sec)

N/A 0.365 0.951 0.725 0.000 86.680 0.000 0.000 7.425

Problem 1453

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

269 269 323 422 0 5452 0 728 2500

N.S.

1 1.00 1.20 1.57 0.00 20.27 0.00 2.71 9.29

time (sec)

N/A 0.374 1.350 0.730 0.000 215.484 0.000 2.121 3.020

Problem 1454

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

238 238 254 322 0 2269 0 533 2500

N.S.

1 1.00 1.07 1.35 0.00 9.53 0.00 2.24 10.50

time (sec)

N/A 0.263 0.911 0.742 0.000 10.398 0.000 1.921 0.916

Problem 1455

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

225 225 285 244 0 3080 0 436 2500

N.S.

1 1.00 1.27 1.08 0.00 13.69 0.00 1.94 11.11

time (sec)

N/A 0.272 1.094 0.652 0.000 18.853 0.000 1.597 4.102

Problem 1456

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

250 250 309 336 0 7206 0 1156 2500

N.S.

1 1.00 1.24 1.34 0.00 28.82 0.00 4.62 10.00

time (sec)

N/A 0.327 0.920 0.788 0.000 145.255 0.000 1.351 6.239

Problem 1457

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

303 303 363 452 0 12458 0 1895 2500

N.S.

1 1.00 1.20 1.49 0.00 41.12 0.00 6.25 8.25

time (sec)

N/A 0.462 2.336 0.691 0.000 185.919 0.000 1.683 8.116

Problem 1458

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

396 396 472 699 0 6669 0 871 2500

N.S.

1 1.00 1.19 1.77 0.00 16.84 0.00 2.20 6.31

time (sec)

N/A 0.579 3.415 0.736 0.000 10.476 0.000 1.722 3.693

Problem 1459

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

372 372 402 547 0 3289 0 728 2500

N.S.

1 1.00 1.08 1.47 0.00 8.84 0.00 1.96 6.72

time (sec)

N/A 0.451 3.042 0.674 0.000 62.021 0.000 2.517 3.001

Problem 1460

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

350 350 352 427 0 4029 0 754 2500

N.S.

1 1.00 1.01 1.22 0.00 11.51 0.00 2.15 7.14

time (sec)

N/A 0.509 2.321 0.734 0.000 85.013 0.000 1.984 8.081

Problem 1461

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

372 372 438 581 0 8803 0 1637 2500

N.S.

1 1.00 1.18 1.56 0.00 23.66 0.00 4.40 6.72

time (sec)

N/A 0.505 2.072 0.650 0.000 100.219 0.000 1.784 7.833

Problem 1462

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F(-1) F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

417 417 485 663 0 0 0 1096 2500

N.S.

1 1.00 1.16 1.59 0.00 0.00 0.00 2.63 6.00

time (sec)

N/A 0.629 2.060 0.929 0.000 0.000 0.000 1.546 9.230

Problem 1463

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

155 155 252 223 0 240 0 2892 310

N.S.

1 1.00 1.63 1.44 0.00 1.55 0.00 18.66 2.00

time (sec)

N/A 0.146 0.848 0.737 0.000 3.264 0.000 3.851 0.315

Problem 1464

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A F F(-2) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 142 135 0 152 0 0 206

N.S.

1 1.00 1.07 1.02 0.00 1.14 0.00 0.00 1.55

time (sec)

N/A 0.282 0.152 1.385 0.000 2.924 0.000 0.000 0.220

Problem 1465

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

66 66 74 62 0 487 78 68 773

N.S.

1 1.00 1.12 0.94 0.00 7.38 1.18 1.03 11.71

time (sec)

N/A 0.065 0.100 0.647 0.000 3.488 20.422 1.454 1.986

Problem 1466

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F F(-1) B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

440 440 91 1365 0 7581 0 0 1244

N.S.

1 1.00 0.21 3.10 0.00 17.23 0.00 0.00 2.83

time (sec)

N/A 0.431 0.181 0.745 0.000 8.493 0.000 0.000 2.172

Problem 1467

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C A F A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 66 272 0 294 36 157 233

N.S.

1 1.00 0.33 1.35 0.00 1.46 0.18 0.78 1.15

time (sec)

N/A 0.147 0.105 1.293 0.000 2.617 4.242 3.818 1.807

Problem 1468

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 22 52 0 22 0 63 38

N.S.

1 1.00 0.49 1.16 0.00 0.49 0.00 1.40 0.84

time (sec)

N/A 0.031 0.074 0.624 0.000 2.768 0.000 3.435 1.758

Problem 1469

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 22 48 0 37 0 53 21

N.S.

1 1.00 0.42 0.91 0.00 0.70 0.00 1.00 0.40

time (sec)

N/A 0.027 0.036 0.713 0.000 2.447 0.000 2.850 1.837

Problem 1470

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 24 22 21 14 26 21 26

N.S.

1 1.00 0.83 0.76 0.72 0.48 0.90 0.72 0.90

time (sec)

N/A 0.021 0.023 0.641 0.485 2.735 35.767 2.882 0.144

Problem 1471

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 57 26 72 0 19 0 23 39

N.S.

1 1.27 0.58 1.60 0.00 0.42 0.00 0.51 0.87

time (sec)

N/A 0.048 0.136 0.756 0.000 1.742 0.000 3.352 2.035

Problem 1472

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

438 438 622 2551 0 320 0 0 -1

N.S.

1 1.00 1.42 5.82 0.00 0.73 0.00 0.00 -0.00

time (sec)

N/A 0.301 23.169 0.760 0.000 0.265 0.000 0.000 0.000

Problem 1473

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

365 365 549 1826 0 252 0 0 -1

N.S.

1 1.00 1.50 5.00 0.00 0.69 0.00 0.00 -0.00

time (sec)

N/A 0.217 22.699 0.782 0.000 0.772 0.000 0.000 0.000

Problem 1474

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

352 352 512 1463 0 286 0 0 -1

N.S.

1 1.00 1.45 4.16 0.00 0.81 0.00 0.00 -0.00

time (sec)

N/A 0.159 22.103 0.759 0.000 0.328 0.000 0.000 0.000

Problem 1475

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

420 420 609 3552 0 476 0 0 -1

N.S.

1 1.00 1.45 8.46 0.00 1.13 0.00 0.00 -0.00

time (sec)

N/A 0.216 23.252 0.775 0.000 0.879 0.000 0.000 0.000

Problem 1476

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

498 498 730 3113 0 383 0 0 -1

N.S.

1 1.00 1.47 6.25 0.00 0.77 0.00 0.00 -0.00

time (sec)

N/A 0.358 23.671 0.697 0.000 0.538 0.000 0.000 0.000

Problem 1477

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

448 448 661 2561 0 473 0 0 -1

N.S.

1 1.00 1.48 5.72 0.00 1.06 0.00 0.00 -0.00

time (sec)

N/A 0.285 23.343 0.814 0.000 0.724 0.000 0.000 0.000

Problem 1478

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

437 437 628 3868 0 477 0 0 -1

N.S.

1 1.00 1.44 8.85 0.00 1.09 0.00 0.00 -0.00

time (sec)

N/A 0.300 23.070 0.757 0.000 0.871 0.000 0.000 0.000

Problem 1479

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

541 541 705 7383 0 835 0 0 -1

N.S.

1 1.00 1.30 13.65 0.00 1.54 0.00 0.00 -0.00

time (sec)

N/A 0.308 23.655 0.861 0.000 1.133 0.000 0.000 0.000

Problem 1480

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

388 388 550 2127 0 250 0 0 -1

N.S.

1 1.00 1.42 5.48 0.00 0.64 0.00 0.00 -0.00

time (sec)

N/A 0.243 22.885 0.687 0.000 0.377 0.000 0.000 0.000

Problem 1481

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

331 331 464 1286 0 214 0 0 -1

N.S.

1 1.00 1.40 3.89 0.00 0.65 0.00 0.00 -0.00

time (sec)

N/A 0.173 22.220 0.778 0.000 0.805 0.000 0.000 0.000

Problem 1482

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

288 288 439 520 0 167 0 0 -1

N.S.

1 1.00 1.52 1.81 0.00 0.58 0.00 0.00 -0.00

time (sec)

N/A 0.106 21.068 0.649 0.000 0.369 0.000 0.000 0.000

Problem 1483

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

344 344 320 1298 0 295 0 0 -1

N.S.

1 1.00 0.93 3.77 0.00 0.86 0.00 0.00 -0.00

time (sec)

N/A 0.177 20.994 0.775 0.000 0.746 0.000 0.000 0.000

Problem 1484

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

345 345 465 1319 0 315 0 0 -1

N.S.

1 1.00 1.35 3.82 0.00 0.91 0.00 0.00 -0.00

time (sec)

N/A 0.193 23.208 0.679 0.000 0.431 0.000 0.000 0.000

Problem 1485

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

319 319 431 979 0 250 0 0 -1

N.S.

1 1.00 1.35 3.07 0.00 0.78 0.00 0.00 -0.00

time (sec)

N/A 0.146 22.715 0.740 0.000 0.672 0.000 0.000 0.000

Problem 1486

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

356 356 525 1317 0 339 0 0 -1

N.S.

1 1.00 1.47 3.70 0.00 0.95 0.00 0.00 -0.00

time (sec)

N/A 0.183 22.148 0.667 0.000 0.459 0.000 0.000 0.000

Problem 1487

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

372 372 875 2312 1097 2809 46038 5560 2585

N.S.

1 1.00 2.35 6.22 2.95 7.55 123.76 14.95 6.95

time (sec)

N/A 0.173 0.871 0.789 0.305 2.589 13.642 1.380 3.275

Problem 1488

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

234 234 433 1084 575 1196 16458 2435 1229

N.S.

1 1.00 1.85 4.63 2.46 5.11 70.33 10.41 5.25

time (sec)

N/A 0.098 0.375 0.670 0.296 4.019 4.374 1.694 2.457

Problem 1489

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 167 338 241 357 3958 770 446

N.S.

1 1.00 1.33 2.68 1.91 2.83 31.41 6.11 3.54

time (sec)

N/A 0.046 0.150 0.637 0.293 2.301 1.214 2.063 2.037

Problem 1490

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 182 0 0 0 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.188 0.240 0.237 0.000 0.000 0.000 0.000 0.000

Problem 1491

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

361 359 310 0 0 0 0 0 -1

N.S.

1 0.99 0.86 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.390 0.591 0.271 0.000 0.000 0.000 0.000 0.000

Problem 1492

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

202 202 182 0 0 0 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.135 0.193 0.234 0.000 0.000 0.000 0.000 0.000

Problem 1493

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 30 59 50 0 0 98

N.S.

1 1.00 1.00 0.97 1.90 1.61 0.00 0.00 3.16

time (sec)

N/A 0.011 0.105 0.762 0.343 3.079 0.000 0.000 1.899

Problem 1494

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 229 290 233 232 279 270 238

N.S.

1 1.00 1.85 2.34 1.88 1.87 2.25 2.18 1.92

time (sec)

N/A 0.130 0.053 0.645 0.272 3.000 0.027 1.676 0.107

Problem 1495

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 175 221 177 180 211 206 179

N.S.

1 1.00 1.41 1.78 1.43 1.45 1.70 1.66 1.44

time (sec)

N/A 0.095 0.038 0.690 0.277 3.635 0.022 1.161 0.070

Problem 1496

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

124 124 133 152 130 128 146 146 124

N.S.

1 1.00 1.07 1.23 1.05 1.03 1.18 1.18 1.00

time (sec)

N/A 0.073 0.028 0.610 0.268 4.244 0.017 1.788 0.049

Problem 1497

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

79 79 79 83 78 76 82 85 71

N.S.

1 1.00 1.00 1.05 0.99 0.96 1.04 1.08 0.90

time (sec)

N/A 0.045 0.013 0.204 0.285 2.625 0.011 1.412 0.033

Problem 1498

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 21 15 14 32 31 25 32

N.S.

1 1.00 1.31 0.94 0.88 2.00 1.94 1.56 2.00

time (sec)

N/A 0.002 0.004 0.139 0.273 3.780 0.012 2.786 0.040

Problem 1499

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 95 120 117 110 100 118 121

N.S.

1 1.00 0.91 1.15 1.12 1.06 0.96 1.13 1.16

time (sec)

N/A 0.072 0.028 0.642 0.278 2.864 0.172 1.477 1.782

Problem 1500

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

102 102 97 115 119 166 126 177 127

N.S.

1 1.00 0.95 1.13 1.17 1.63 1.24 1.74 1.25

time (sec)

N/A 0.070 0.046 0.577 0.287 2.690 0.334 1.833 0.073

[next] [prev] [prev-tail] [front] [up]